SCULTHORPE, NEIL: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Keeping calm in the face of change

Neil Sculthorpe, Henrik Nilsson

Journal:

Higher-Order and Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 1.18 MB

english, 2010

2

Work it, wrap it, fix it, fold it

SCULTHORPE, NEIL, HUTTON, GRAHAM

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 609 KB

english, 2014

3

Executable component-based semantics

van Binsbergen, L. Thomas, Mosses, Peter D., Sculthorpe, Neil

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 1.57 MB

english, 2019

4

Partial heat acclimation of athletes with spinal cord lesion

Castle, Paul C., Kularatne, B. Pasan, Brewer, John, Mauger, Alexis R., Austen, Ross A., Tuttle, James A., Sculthorpe, Nick, Mackenzie, Richard W., Maxwell, Neil S., Webborn, Anthony D. J.

Journal:

European Journal of Applied Physiology

Year:

2013

Language:

english

File:

PDF, 384 KB

english, 2013

5

The Kansas University rewrite engine

SCULTHORPE, NEIL, FRISBY, NICOLAS, GILL, ANDY

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 379 KB

english, 2014

6

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Safe functional reactive programming through dependent types

Sculthorpe, Neil, Nilsson, Henrik

Year:

2009

Language:

english

File:

PDF, 415 KB

english, 2009

7

The HERMIT in the machine

Farmer, Andrew, Gill, Andy, Komp, Ed, Sculthorpe, Neil

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 732 KB

english, 2013

8

[ACM Press the 2012 symposium - Copenhagen, Denmark (2012.09.13-2012.09.13)] Proceedings of the 2012 symposium on Haskell symposium - Haskell '12 - The HERMIT in the machine

Farmer, Andrew, Gill, Andy, Komp, Ed, Sculthorpe, Neil

Year:

2012

Language:

english

File:

PDF, 732 KB

english, 2012

9

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - The constrained-monad problem

Sculthorpe, Neil, Bracker, Jan, Giorgidze, George, Gill, Andy

Year:

2013

Language:

english

File:

PDF, 435 KB

english, 2013

10

The constrained-monad problem

Sculthorpe, Neil, Bracker, Jan, Giorgidze, George, Gill, Andy

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 435 KB

english, 2013

11

Safe functional reactive programming through dependent types

Sculthorpe, Neil, Nilsson, Henrik

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 415 KB

english, 2009

12

[ACM Press Companion the 15th International Conference - Málaga, Spain (2016.03.14-2016.03.17)] Companion Proceedings of the 15th International Conference on Modularity - MODULARITY Companion 2016 - Tool support for component-based semantics

Binsbergen, L. Thomas van, Sculthorpe, Neil, Mosses, Peter D.

Year:

2016

Language:

english

File:

PDF, 596 KB

english, 2016